1. Computation, proof, machine :
Author: Gilles Dowek, French Institute for Research in Computer Science and Automation (INRIA) ; translated from the French by Pierre Guillot and Marion Roman
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Mathematics-- History,Mathematics-- History-- 20th century,Mathematics, Ancient
